#ifndef __IDT_H
#define __IDT_H

//idt related
void idt_set_gate(u8int num, u32int base, u16int sel, u8int flags);
void idt_install(void);

#endif
